home *** CD-ROM | disk | FTP | other *** search
/ Dr. Windows 3 / dr win3.zip / dr win3 / PVDRIVER / DVIWN281.ZIP / GENALLNT.BAT < prev    next >
DOS Batch File  |  1993-09-30  |  1KB  |  30 lines
  1. @echo off
  2. if exist %TEMP%\lock_$_$.bat goto RUNNING
  3. copy %1 %TEMP%\lock_$_$.bat > nul
  4. del %1
  5. if exist %TEMP%\error$_$ del %TEMP%\error$_$
  6. call %TEMP%\lock_$_$
  7. del %TEMP%\lock_$_$.bat
  8. rem
  9. rem The next command instructs dviwin to re-read all the fonts. If you
  10. rem normally start dviwin with the "-1" command line switch, then you
  11. rem need to specify the same switch here too.
  12. rem
  13. rem This batch file tests for the existence of the file %TEMP%\error$_$
  14. rem which signals an error during the font generation. If such an error
  15. rem has happened, we should not ask dviwin to reset the fonts, because
  16. rem an endless loop will occur.
  17. rem
  18. if not exist %TEMP%\error$_$ dviwin -r
  19. if exist %TEMP%\error$_$ del %TEMP%\error$_$
  20. goto GETOUT
  21. :RUNNING
  22. echo/
  23. echo It seems that another instance of this batch file is already running.
  24. echo If this is true, please wait until it finishes and then run this batch
  25. echo file again. If on the other hand this is not true, delete the file
  26. echo %TEMP%\lock_$_$.bat and then run this batch file again.
  27. echo/
  28. pause
  29. :GETOUT
  30.